David James - PDFSEARCH.IO - Document Search Engine

David James
Results: 1444

#	Item
361	Dynamic In Silico Reconstruction of the Insulin Signalling Network Westa Domanova1,2,3, Benjamin Parker3, Martin Wong1,2,3, James Burchfield3, Fatemeh Vafaee1,2, Zdenka Kuncic1,2, David James3 1Integrative Systems Lab, C Add to Reading List Source URL: ws9.websitepanelonline.com Language: English - Date: 2014-09-08 00:30:36 Protein kinases Cell signaling Insulin AKT Phosphoinositide 3-kinase David James Signal transduction IRS1 Biology Medicine Peptide hormones
362	Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, and Dawn Song Carnegie Mell Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2009-08-03 23:33:32 Software testing Predicate transformer semantics Program logic Fuzz testing X Window System Function KeY Errors and residuals in statistics Network Time Protocol Statistics Software Mathematics
363	Mobile Computing with Python James “Wez” Weatherall & David Scott, Laboratory for Communications Engineering, Cambridge, England, {jnw22, djs55}@eng.cam.ac.uk Add to Reading List Source URL: dave.recoil.org Language: English - Date: 2007-06-29 06:52:35 Symbian OS Inter-process communication CORBA Middleware Smartphones Symbian Psion Series 5 Psion Open Programming Language Computing Software engineering Computer architecture
364	A lexical analyzer generator for Standard ML. Version 1.6.0, October 1994 Andrew W. Appel1 James S. Mattson David R. Tarditi2 1 Add to Reading List Source URL: mlton.org Language: English - Date: 2014-02-17 13:56:37 Formal languages Compiler construction Parser generators Compiling tools Lex Standard ML String Regular expression Compiler Software engineering Computing Programming language implementation
365	RECENT ADVANCES SERIES RECENT ADVANCES SERIES Changing feedbacks in the climate– biosphere system F Stuar t Chapin III1, James T Randerson2, A David McGuir e3, Jonathan A Foley4, and Christopher B Field5 Ecosystems i Add to Reading List Source URL: www.sel.uaf.edu Language: English* - Date: 2010-11-12 15:38:50 Climate history Effects of global warming Global warming Climate change Carbon Black carbon Radiative forcing Greenhouse gas Economics of global warming Climatology Atmospheric sciences Environment
366	Precimonious: Tuning Assistant for Floating-Point Precision Cindy Rubio-Gonz´alez1 , Cuong Nguyen1 , Hong Diep Nguyen1 , James Demmel1 , William Kahan1 , Koushik Sen1 , David H. Bailey2 , Costin Iancu2 , and David Hough Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-08-16 23:59:57 Software engineering Data types Kahan summation algorithm LLVM Floating point Lookup table Long double Algorithm Fortran Computing Computer arithmetic Computer programming
367	Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome, Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Predicate transformer semantics Program logic KeY IP Function Algorithm NP Symbolic execution Communications protocol Theoretical computer science Mathematics Applied mathematics
368	BitBlaze: A New Approach to Computer Security via Binary Analysis Dawn Song1 , David Brumley2, Heng Yin1,2,3 , Juan Caballero1,2, Ivan Jager2 , Min Gyung Kang1,2 , Zhenkai Liang2 , James Newsome2 , Pongsin Poosankam1,2, Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2012-07-11 06:21:50 Software X86 assembly language Pin X86 Assembly language Interpreter Pointer Binary code Portable Executable Computing Programming language implementation Software engineering
369	Sting: An End-to-End Self-healing System for Defending against Zero-day Worm Attacks on Commodity Software James Newsome David Brumley Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Security Malware Hacking Software testing Buffer overflow Address space layout randomization Computer worm Attack Vulnerability Computer security Cyberwarfare Computer network security
370	Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, and Dawn Song Carnegie Mell Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Software testing Predicate transformer semantics Program logic Fuzz testing X Window System Function KeY Errors and residuals in statistics Network Time Protocol Statistics Software Mathematics

UPDATE